Higher-order fluctuations in dense random graph models

Towards Combining Dense Linear Order with Random Graph

In this paper we present our work in progress towards obtaining a Nelson-Oppen style combination for combining quantified theories, where each individual component theory admits quantifier elimination. We introduces the notion of good model for union theories, for which there exists a simple quantifier elimination scheme that uses the elimination procedures for individual component theories as ...

Higher order models for fuzzy random variables

A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reasonable to integrate fuzzy random variables into imprecise probabilities theory. Nevertheless, fuzzy random variables are commonly presented in the literature as classical measurable functions associated to a classical p...

Higher-order Director Fluctuations

Standard theories of the influence of a fluctuating director on spin relaxation in nematic liquid crystals are based on the notion that the mean-square angular displacement (8’) of the director is small, such that terms of this and higher orders are negligible. One consequence of this ‘small-angle’ approximation is that director fluctuations contribute only to the spectral density J , ( o o ) a...

Parametrizing Order-Stable Exponential Family Random Graph Models

Higher-order port-graph rewriting

The biologically inspired framework of port-graphs has been successfully used to specify complex systems. It is the basis of the PORGY modelling tool. To facilitate the specification of proof normalisation procedures via graph rewriting, in this paper we add higher-order features to the original port-graph syntax, along with a generalised notion of graph morphism. We provide a matching algorith...